Measures in Euclidean Point-Free Geometry (an exploratory paper)

نویسندگان

چکیده

We face with the question of a suitable measure theory in Euclidean point-free geometry and we sketch out some possible solutions. The proposed measures, which are positive invariant respect to movements, based on notion infinitesimal masses, i.e. masses whose associated supports form sequence finer partitions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Spatial Analysis in curved spaces with Non-Euclidean Geometry

The ultimate goal of spatial information, both as part of technology and as science, is to answer questions and issues related to space, place, and location. Therefore, geometry is widely used for description, storage, and analysis. Undoubtedly, one of the most essential features of spatial information is geometric features, and one of the most obvious types of analysis is the geometric type an...

متن کامل

Euclidean Geometry before non-Euclidean Geometry

In [3], in my argument for the primacy of Euclidean geometry on the basis of rigid motions and the existence of similar but non-congruent triangles, I wrote the following: A: “The mobility of rigid objects is now recognized as one of the things every normal human child learns in infancy, and this learning appears to be part of our biological progaramming.” B. “. . . we are all used to thinking ...

متن کامل

Case Analysis in Euclidean Geometry: An Overview

This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as the computer system CDEG. The computational complexity of determining whether or not a given diagram is satisfiable is also briefly discussed. 1 A Diagrammatic Formal System To begin with, consider Euclid’s first propos...

متن کامل

Lemmas in Euclidean Geometry

Second proof. Let O be the circumcenter of ABC and let ω be the circle centered at D with radius DB. Let lines AB and AC meet ω at P and Q, respectively. Since ∠PBQ = ∠BQC+∠BAC = 1 2 (∠BDC + ∠DOC) = 90, we see that PQ is a diameter of ω and hence passes through D. Since ∠ABC = ∠AQP and ∠ACB = ∠APQ, we see that triangles ABC and AQP are similar. If M is the midpoint of BC, noting that D is the m...

متن کامل

Graded Inclusion and Point - Free Geometry

Inspired to some researches of A. N. Whitehead, we propose an approach to pointfree geometry based on the notions of “region” and of “graded inclusion” between regions.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Logic and Logical Philosophy

سال: 2022

ISSN: ['1425-3305', '2300-9802']

DOI: https://doi.org/10.12775/llp.2022.031